THE UNIVERSITY OF BIRMINGHAM Minimal Polynomial Logic: Properties and Extensions

نویسندگان

  • Riccardo Poli
  • Manfred Kerber
چکیده

Minimal Polynomial Logic (MPL) is a generalisation of classical propositional logic which allows truth values in the continuous interval 0; 1] and in which propositions are represented by multi-variate polynomials. In previous work 7] we have introduced some properties of MPL and shown that it has two possible semantics: a) it can be considered as a logic for expressing, handling and computing the probability of being true of complex expressions, like Nilsson's probabilistic logic, or b) it can be seen as a logic for expressing, handling and computing degrees of truth, as fuzzy logic. In this paper we report on new important properties of MPL, among which the isomorphism between MPL and propositional logic and a proof theory parallelling natural deduction. We also present a further generalisation of MPL in which the above-mentioned semantics are extended to express and handle probabilities in belief nets and degrees of truth in fuzzy expressions which do not collapse to standard propositions even in the presence of crisp variables.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Equality propositional logic and its extensions

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

متن کامل

On the compactness property of extensions of first-order G"{o}del logic

We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...

متن کامل

Ore extensions of skew $pi$-Armendariz rings

For a ring endomorphism $alpha$ and an $alpha$-derivation $delta$, we introduce a concept, so called skew $pi$-Armendariz ring, that is a generalization of both $pi$-Armendariz rings, and $(alpha,delta)$-compatible skew Armendariz rings. We first observe the basic properties of skew $pi$-Armendariz rings, and extend the class of skew $pi$-Armendariz rings through various ring extensions. We nex...

متن کامل

Extensions of strongly alpha-reversible rings

We introduce the notion ofstrongly $alpha$-reversible rings which is a strong version of$alpha$-reversible rings, and investigate its properties. We firstgive an example to show that strongly reversible rings need not bestrongly $alpha$-reversible. We next argue about the strong$alpha$-reversibility of some kinds of extensions. A number ofproperties of this version are established. It is shown ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996